Constraint-based model checking for parameterized synchronous systemsDELZANNO, Giorgio.Lecture notes in computer science. 2002, pp 72-86, issn 0302-9743, isbn 3-540-43381-3Conference Paper

Automatic verification of time sensitive cryptographic protocolsDELZANNO, Giorgio; GANTY, Pierre.Lecture notes in computer science. 2004, pp 342-356, issn 0302-9743, isbn 3-540-21299-X, 15 p.Conference Paper

Proof theory, transformations, and logic programming for debugging security protocolsDELZANNO, Giorgio; ETALLE, Sandro.Lecture notes in computer science. 2002, pp 76-90, issn 0302-9743, isbn 3-540-43915-3, 15 p.Conference Paper

Specifying and debugging security protocols via hereditary Harrop formulas and λprolog : A case-studyDELZANNO, Giorgio.Lecture notes in computer science. 2001, pp 123-137, issn 0302-9743, isbn 3-540-41739-7Conference Paper

Constraint-based verification of client-server protocolsDELZANNO, Giorgio; BULTAN, Tevfik.Lecture notes in computer science. 2001, pp 286-301, issn 0302-9743, isbn 3-540-42863-1Conference Paper

Reachability analysis of mobile ambients in fragments of AC term rewritingDELZANNO, Giorgio; MONTAGNA, Roberto.Lecture notes in computer science. 2006, pp 302-316, issn 0302-9743, isbn 3-540-48815-4, 1Vol, 15 p.Conference Paper

Beyond parameterized verificationBOZZANO, Marco; DELZANNO, Giorgio.Lecture notes in computer science. 2002, pp 221-235, issn 0302-9743, isbn 3-540-43419-4Conference Paper

Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong ProtocolsDELZANNO, Giorgio; ESPARZA, Javier; SRBA, Jiri et al.Lecture notes in computer science. 2006, pp 415-429, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 15 p.Conference Paper

Algorithmic verification of invalidation-based protocolsBOZZANO, Marco; DELZANNO, Giorgio.Lecture notes in computer science. 2002, pp 295-308, issn 0302-9743, isbn 3-540-43997-8, 14 p.Conference Paper

Attacking symbolic state explosionDELZANNO, Giorgio; RASKIN, Jean-Francois; VAN BEGIN, Laurent et al.Lecture notes in computer science. 2001, pp 298-310, issn 0302-9743, isbn 3-540-42345-1Conference Paper

Model checking communication protocolsARGON, Pablo; DELZANNO, Giorgio; MUKHOPADHYAY, Supratik et al.Lecture notes in computer science. 2001, pp 160-170, issn 0302-9743, isbn 3-540-42912-3Conference Paper

SAT-based analysis of cellular automataD'ANTONIO, Massimo; DELZANNO, Giorgio.Lecture notes in computer science. 2004, pp 745-754, issn 0302-9743, isbn 3-540-23596-5, 10 p.Conference Paper

Towards the automated verification of multithreaded Java programsDELZANNO, Giorgio; RASKIN, Jean-Francois; VAN BEGIN, Laurent et al.Lecture notes in computer science. 2002, pp 173-187, issn 0302-9743, isbn 3-540-43419-4Conference Paper

Combining structural and enumerative techniques for the validation of bounded Petri netsCARVAJAL-SCHIAFFINO, Rubén; DELZANNO, Giorgio; CHIOLA, Giovanni et al.Lecture notes in computer science. 2001, pp 435-449, issn 0302-9743, isbn 3-540-41865-2Conference Paper

Reachability analysis of fragments of mobi ambients in AC term rewritingDELZANNO, Giorgio; MONTAGNA, Roberto.Formal aspects of computing. 2008, Vol 20, Num 4-5, pp 407-428, issn 0934-5043, 22 p.Article

Compositional verification of asynchronous processes via constraint solvingDELZANNO, Giorgio; GABBRIELLI, Maurizio.Lecture notes in computer science. 2005, pp 1239-1250, issn 0302-9743, isbn 3-540-27580-0, 12 p.Conference Paper